<?php
 
echo 'OK';